From 18a2a6a90ea0de5f4ef8eba42b61095e64a4c722 Mon Sep 17 00:00:00 2001
From: Matthias Clasen <mclasen@redhat.com>
Date: Sat, 1 Nov 2014 13:18:33 -0400
Subject: [PATCH] GtkVolumeButton: Fix annoying double formatting

We meant to specify 0.2, and it came out as 0.2000000001.
---
 gtk/resources/ui/gtkvolumebutton.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gtk/resources/ui/gtkvolumebutton.ui b/gtk/resources/ui/gtkvolumebutton.ui
index 938ac0dc35..e4162f5739 100644
--- a/gtk/resources/ui/gtkvolumebutton.ui
+++ b/gtk/resources/ui/gtkvolumebutton.ui
@@ -4,7 +4,7 @@
   <object class="GtkAdjustment" id="adjustment">
     <property name="upper">1</property>
     <property name="step_increment">0.02</property>
-    <property name="page_increment">0.20000000000000001</property>
+    <property name="page_increment">0.2</property>
   </object>
   <template class="GtkVolumeButton" parent="GtkScaleButton">
     <property name="visible">True</property>
-- 
2.30.2